Integrating interactive tools using concurrent haskell and synchronous events

In this paper we describe how existing interactive tools can be integrated using Concurrent Haskell and synchronous events. The base technology is a higher-order approach to concurrency as in CML extended with a framework for handling external events of the environment. These events are represented as first class synchronous events to achieve a uniform, composable approach to event handling. Adaptors are interposed between the external event sources and the internal set of listening agents to achieve this degree of abstraction. A substantially improved integration framework compared to existing technology (such as for example the combination of Tcl/Tk with expect) is then provided. With this basis it is for example possible to wrap a GUI around the hugs interpreter with very little work required.Eje: Conferencia latinoamericana de programación funcionalRed de Universidades con Carreras en Informática (RedUNCI

Genetic association analysis identifies variants associated with disease progression in primary sclerosing cholangitis

Objective Primary sclerosing cholangitis (PSC) is a genetically complex, inflammatory bile duct disease of largely unknown aetiology often leading to liver transplantation or death. Little is known about the genetic contribution to the severity and progression of PSC. The aim of this study is to identify genetic variants associated with PSC disease progression and development of complications. Design We collected standardised PSC subphenotypes in a large cohort of 3402 patients with PSC. After quality control, we combined 130 422 single nucleotide polymorphisms of all patients-obtained using the Illumina immunochip-with their disease subphenotypes. Using logistic regression and Cox proportional hazards models, we identified genetic variants associated with binary and time-to-event PSC subphenotypes. Results We identified genetic variant rs853974 to be associated with liver transplant-free survival (p=6.07x10(-9)). Kaplan-Meier survival analysis showed a 50.9% (95% CI 41.5% to 59.5%) transplant-free survival for homozygous AA allele carriers of rs853974 compared with 72.8% (95% CI 69.6% to 75.7%) for GG carriers at 10 years after PSC diagnosis. For the candidate gene in the region, RSPO3, we demonstrated expression in key liver-resident effector cells, such as human and murine cholangiocytes and human hepatic stellate cells. Conclusion We present a large international PSC cohort, and report genetic loci associated with PSC disease progression. For liver transplant-free survival, we identified a genome-wide significant signal and demonstrated expression of the candidate gene RSPO3 in key liver-resident effector cells. This warrants further assessments of the role of this potential key PSC modifier gene.Peer reviewe

Integrating Interactive Tools using Concurrent Haskell and Synchronous Events

. In this paper we describe how existing interactive tools can be integrated using Concurrent Haskell and synchronous events. The base technology is a higherorder approach to concurrency as in CML extended with a framework for handling external events of the environment. These events are represented as first class synchronous events to achieve a uniform, composable approach to event handling. Adaptors are interposed between the external event sources and the internal set of listening agents to achieve this degree of abstraction. A substantially improved integration framework compared to existing technology (such as for example the combination of Tcl/Tk with expect) is then provided. With this basis it is for example possible to wrap a GUI around the hugs interpreter with very little work required. 1 Introduction There are several ways in which existing tools can be encapsulated to work in an integrated environment. The general solution to interoperability is to use component..

The UniForM Concurrency ToolKit Version 0.2 Reference Manual

1 Introduction The UniForM Concurrency ToolKit 1 is a library of abstract data types for shared memory and message passing communication that extends Concurrent Haskell [HPJW92, PJGF96] with a concept of thread identity, re-entrant monitors and selective communication. The message passing model is very similar to the one of Concurrent ML [Rep92] by representing events in terms of first class composable event values that can be combined using guarded choice and the event-action combinator. However, the toolkit extends CML with infix operators, post-conditions and an implementation of message queues that is hardwired into the protocol for selective communication rather than being simulated using an active buffer thread. This implementation scales better. The UniForM Concurrency ToolKit is implemented on top of the lean basis provided by Concurrent Haskell, namely threads and MVar's. It is currently running under GHC, version 3.0 [Tea98]. A rationale for the UniForM Concurrency ToolKi..

The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell

. The UniForM Concurrency Toolkit is a comprehensive library of abstract data types for shared memory and message passing communication that extends Concurrent Haskell with a concept of dynamic types, thread identity, thread local state and selective communication as found in CML. Notable features of the toolkit are its support for reentrant monitors, interactors providing iterative choice and the uniform representation of internal channel events as well as external tool events of the environment in the form of first class synchronous event values. 1 Introduction The UniForM Concurrency ToolKit 1 has primarily been designed to support the development of reactive systems using Concurrent Haskell [PJGF96]. The toolkit provides, partially backed up by a class system, a number of archetypical shared memory abstractions such as semaphores, locks and shared variables. The most important contribution, however, is the concept of reentrant monitors, whose main advantage over MVar's is that r..

Using Concurrent Haskell to Develop Views over an Active Repository

The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration. Using the WorkBench, it is possible to implement the entire Software Development Environment for Haskell - using Haskell itself. The paper presents the higher order approach to event handling used within the WorkBench, as well as the persistent repository with version management support. It is then demonstrated how views over this repository are kept consistent, on the fly, in a multiuser environment using the ModelView -Controller paradigm. Interactors are set up to maintain consistency between a view and its underlying repository by coordinating database change notifications and user interactions. These events are represented as first class, composable event values

Portrait of choreographer, Ross Coleman taken during an oral history interview with Bill Stephens at the National Library of Australia, 16-17 May 2007, 2 [picture] /

Title devised by cataloguer based on information from acquisition documentation.; Part of collection: Collection of portraits of Ross Coleman taken during an oral history interview by Bill Stephens at the National Library of Australia, 16-17 May 2007.; Acquired in digital format; access copy available online.; Mode of access: Internet via World Wide Web.; Photographed by a staff member of the National Library of Australia, 2007